MissingWithClauses.agda:7,1-11
Missing with-clauses for function f
